大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IMACS Symposium on Artificial Intelligence 的图书(共3224本)

Ambient Intelligence [electronic resource] : European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

0
索取号：
作者：Aarts、 Emile.、Crowley、 James L.、Ruyter、 Boris.、Gerh盲user、 Heinz.、Pflaum、 Alexander.、Schmidt、 Janina.、Wichert、 Reiner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Water Resources and Hydraulic Engineering [electronic resource] : Proceedings of 16th IAHR-APD Congress and 3rd Symposium of IAHR-ISHS

0
索取号：
作者：Zhang、 Changkuan.、Tang、 Hongwu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

0
索取号：
作者：Cervesato、 Iliano.、Veith、 Helmut.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

AI 2008: Advances in Artificial Intelligence [electronic resource] : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

0
索取号：
作者：Wobcke、 Wayne.、Zhang、 Mengjie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings

0
索取号：
作者：Holzinger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

0
索取号：
作者：Kulkarni、 Sandeep.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

0
索取号：
作者：Ramalingam、 G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

PRICAI 2008: Trends in Artificial Intelligence [electronic resource] : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings

0
索取号：
作者：Ho、 Tu-Bao.、Zhou、 Zhi-Hua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings

0
索取号：
作者：Amir、 Amihood.、Turpin、 Andrew.、Moffat、 Alistair.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Nagl、 Manfred.、Z眉ndorf、 Albert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Sequential Approximate Multiobjective Optimization Using Computational Intelligence [electronic resource]

0
索取号：
作者：Yoon、 Min.、Yun、 Yeboon.、Nakayama、 Hirotaka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

0
索取号：
作者：Bassiliades、 Nick.、Governatori、 Guido.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

MICAI 2008: Advances in Artificial Intelligence [electronic resource] : 7th Mexican International Conference on Artificial Intelligence, Atizap谩n de Zaragoza, Mexico, October 27-31, 2008 Proceedings

0
索取号：
作者：Gelbukh、 Alexander.、Morales、 Eduardo F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings

0
索取号：
作者：Ma、 Yan.、Choi、 Deokjai.、Ata、 Shingo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

0
索取号：
作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.